Nuprl Definition : f2f+Wait 11,40
awaiting  == (f2f+.2.2).1 
latex

clarification:

f2f+Wait(f2f+) == (f2f+.2.2).1 
latex

Definitionst.1, t.2
FDL editor aliasesf2f+Wait

origin